(check (= (+ 1 (- 1)) 0))

